Light Logics and the Call-by-Value Lambda Calculus

The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic. In this paper we show that shifting from usual call-by-name to call-by-value lambda calculus allows regaining strong connections with the underlying logic. This will be done in the context of Elementary Affine Logic (EAL), designing a type system in natural deduction style assigning EAL formulae to lambda terms.Comment: 28 page

I recenti interventi legislativi sul contratto a termine. A forte rischio la tenuta eurounitaria del sistema interno = Recent legislative interventions on the futures contract. The internal unity of the internal system is at high risk. WP C.S.D.L.E. “Massimo D’Antona”.IT – 198/2014

The paper aims to analyze the most recent developments in legislation on fixed-term employment contracts, beginning with the interpretations of the Constitutional Court, to the more recent developments, updated February 13, 2014. The reconstruction is highly critical of the national legislature, deemed able to legislate only in an emergency situation, taking into account the interests of the Administration, not that of the individuals. The result is a sharp contrast not only with the Directive 1999/70/EC, but also with the principle of non-discrimination. The fixed-term employment contracts – that does non include the motive for the employment - as actually regulated in Italy, seems to allow both to circumvent any provision impediment and discriminate against workers at the lower technical level. The paper then examines the latest laws on the insecure work with italian public administration, for which Italy has abolished damnages, that could have had a very high annual cost, leaving only the possibility of recognition of fixed-term employment contracts as contracts of indefinite duration, reinforced by the institutionalization of the same channel of access for workers with both fixed-term and indefinite contract. No reform against insecure-work has been provided for the public schools, for which the most important legislative intervention consists of a new enabling mechanism, probably lacking of sufficient legal support. Finally, some suggestions are made for a total rewrite of the rules and regulations, to simplify the system, providing the necessary flexibility in the public and private work, without circumventing the law: best flexibility is in the management and not in the access to employment

Selection of antiseizure medications for first add-on use: A consensus paper.

Abstract Introduction When monotherapy used alone or sequentially fails to achieve seizure control, a trial of combination therapy may be considered. Objective To define optimal criteria to guide choice of an antiseizure medication (ASM) for use as first add-on. Methods A standardized Delphi procedure was applied to produce a list of consensus statements. First, an Expert Board consisting of 5 epileptologists agreed on a set of 46 statements relevant to the objective. The statements were then finalized through an iterative process by a Delphi Panel of 84 Italian pediatric and adult neurologists with expertise in the management of epilepsy. Panel members provided anonymous ratings of their level of agreement with each statement on a 9-point Likert scale. Results Consensus, defined as agreement by at least 80% of Panel members, was reached for 36 statements. Medication-related factors considered to be important for drug selection included efficacy, tolerability and safety, interaction potential, mechanism of action, and ease of use. The need to optimize adherence and to tailor drug selection to individual characteristics was emphasized. Conclusions Choice of an ASM for first add-on requires consideration of many factors, many of which also apply to choose initial treatment. Factors more specifically relevant to add-on use include drug interaction potential and the preference for an ASM with a different mechanism of action

Efficacy of modified atkins ketogenic diet in chronic cluster headache. An open-label, single-arm, clinical trial

Introduction: Drug-resistant cluster headache (CH) is still an open clinical challenge. Recently, our group observed the clinical efficacy of a ketogenic diet (KD), usually adopted to treat drug-resistant epilepsies, on migraine. Aim: Here, we aim to detect the effect of KD in a group of drug-resistant chronic CH (CCH) patients. Materials and methods: Eighteen drug-resistant CCH patients underwent a 12-week KD (Modified Atkins Diet, MAD), and the clinical response was evaluated in terms of response (>= 50% attack reduction). Results: Of the 18 CCH patients, 15 were considered responders to the diet (11 experienced a full resolution of headache, and 4 had a headache reduction of at least 50% in terms of mean monthly number of attacks during the diet). The mean monthly number of attacks for each patient at the baseline was 108.71 (SD = 81.71); at the end of the third month of diet, it was reduced to 31.44 (SD = 84.61). Conclusion: We observed for the first time that a 3-month ketogenesis ameliorates clinical features of CCH

Effects of fermentation and rye flour on microstructure and volatile compounds of chestnut flour based sourdoughs

The study is aimed at developing a new cereal-based product, with increased nutritional quality, by using natural fermentation of blends of chestnut and rye flour. In spite of the remarkable similarity, the technological potential of combinations of both flours has never been explored before. Three spontaneous chestnut/rye sourdough fermentations were performed over a period of twelve days with daily back-slopping. Samples taken at all refreshment steps were used for culture-dependent and culture-independent evaluation of the microbiota present. Dominant species basically overlapped to those associated to sourdoughs strengthened with chestnut flour, such as Pediococcus pentosaceus or Weissella paramesenteroides. Microstructures, evaluated by means of Scanning Electron Microscopy, revealed the presence in chestnut sourdoughs of a distinguishable network surrounding starch granules, while rye flour-added sourdoughs showed a less structured matrix. By gas chromatography coupled to mass spectrometry, 51 volatile organic compounds were identified at 24 h and after prolonged fermentation. Within volatile organic compounds, alcohols, esters, acids, aldehydes and ketones, all well-known flavour compounds in sourdough fermentation, appeared as dominant. The PCA discriminated the sourdoughs into three distinct clusters and highlighted a clear influence of fermentation time on the volatile composition of sourdoughs. (C) 2014 Elsevier Ltd. All rights reserved

Detection and genotyping of human Papillomavirus in urine samples from unvaccinated male and female adolescents in Italy

The introduction of vaccination against Human Papillomavirus (HPV) in adolescent girls in 2006 has focused virological surveillance on this age group. As few studies have evaluated HPV infections in young populations, further data are needed in order to improve and extend prophylactic policy and to monitor epidemiological changes. The present study aimed at evaluating overall and type-specific HPV prevalence in both female and male adolescents in Italy. HPV DNA detection and genotyping was performed on urine samples collected from 870 unvaccinated adolescents (369 females, 501 males, 11-18 years of age) in five cities in Italy. Following DNA extraction by means of a commercial kit (NucliSENS®-miniMAG®, bioMérieux), the L1 gene fragment was PCR amplified and genotyped by restriction fragment length polymorphism analysis. HPV DNA was detected in 1.5% of all samples, and in 3% and 0.4% of samples from females and males, respectively. In approximately 70% of HPV DNA positive adolescents, the infection was due to a single genotype, with 88.9% of genotypes belonging to the HR-clade. The only two HPV-positive boys (14 and 18 years old) had HPV-70 genotype. Only one of the 11 HPV-infected girls was in the 11-14 age-group. HPV prevalence was 4.2% in girls aged 15-18 years and 60% of infections were due to vaccine types HPV-16 or HPV-6/-11. This is one of the few studies, the first conducted in Italy, on HPV infection in adolescents. Urine testing is the easier way of detecting HPV infection in younger populations. Our data revealed a very low HPV prevalence, and no infections were observed in the 12-year-old vaccine target population. The majority of infections were seen in females aged 15-18 years. Overall, more than 50% and 30% of the potentially persistent HPV infections detected in this group could have been prevented by the quadrivalent and the bivalent vaccines, respectively

Context Aware Browser

I will present the Context Aware Browser, a novel paradigm for context-aware access to Web contents with mobile devices. The idea is to allow automatic download of Web pages, and even automatic execution of Web applications, on user\u27s own mobile device. The Web resources are not simply pushed on the mobile device; rather, they are selected on the basis of the context the user is in: context data (mainly location, but not only) are used to build a query sent to an external search engine, that selects the most relevant Web content. I will describe the idea, provide some examples, show a video of a recently built prototype, present implementation issues, discuss our specific evaluation methodology and the results, and sketch future work and problems. This is an ongoing project, started about five years ago; it is joint work with the Context Aware and Mobile Systems laboratory (smdc.uniud.it) and the MoBe spinoff (www.mobe.it) at Udine University

Development and first application of an audit system for screening programs based on the PRECEDE-PROCEED model. An experience with breast cancer screening in the region of Lombardy (Italy)

Background: High participation and performance are necessary conditions for the effectiveness of breast cancer screening programs. Here we describe the process to define and test a planning software application and an audit cycle based on the PRECEDE-PROCEED model applied to improving breast cancer screening. We developed a planning software application following the phases of the PRECEDE-PROCEED model. The application was co-designed by local cancer screening program coordinators. An audit model was also developed. The revised application and the audit model were tested by all the coordinators of 15 breast cancer screening programs in the region of Lombardy in a 3-day workshop. The project plans produced using the application were compared with those produced in the previous year for clarity and completeness. Results: The 9 phases of the PRECEDE-PROCEED model were adapted to screening as follows: 1) identification of program goals (i.e., participation, sensitivity, false positive); 2) epidemiological issues; 3) best practices analysis; 4) evidence-based actions to be implemented in the screening center and the relationships with partners and stakeholders; 5) priority setting and identification of solutions for each issue; 6) definition of indicators; 7) monitoring; 8) evaluation; 9) impact assessment. The application automatically generated reports for each phase. During the audit cycle, the regional health authority negotiated the targets to be reached with local authorities and collected the improvement plans generated by the application. The plans produced after the application was adopted were more standardized and had clearer indicators for monitoring and evaluation compared to those produced in the previous year. Conclusions: The software application helps standardize criteria for planning interventions to improve screening programs and facilitates the implementation of the audit cycle